Automatic Generation of Failure Mechanism Propagation Scenario via Guided Simulation and Intelligent Algorithm
نویسندگان
چکیده
منابع مشابه
Intelligent Automatic Guided Vehicles
Manufacturing Flexibility is the ability of a manufacturing system to respond, at a reasonable cost and appropriate speed, to planned or unplanned changes in external or internal environments. It is accomplished by multidimensional attributes of the manufacturing system. In the global, rapidly changing modern market conditions manufacturing flexibility becomes a necessity in many industrial env...
متن کاملTowards Automatic Security Scenario Generation
Software security has become a crucial component of any software system in today’s market. However, the development of secure software is still a maturing process. Software architecture (SA) assessment methods have gained increasing attention in recent years. Most of these evaluation techniques are scenario-based, and thus depend heavily on the quality of the scenarios selected for their evalua...
متن کاملLogic Design Validation via Simulation and Automatic Test Pattern Generation
We investigate an automated design validation scheme for gate-level combinational and sequential circuits that borrows methods from simulation and test generation for physical faults, and verifies a circuit with respect to a modeled set of design errors. The error models used in prior research are examined and reduced to five types: gate substitution errors (GSEs), gate count errors (GCEs), inp...
متن کاملIntelligent Adaptive Assistance and its Automatic Generation
Manuals and interactive help are tedious to provide, difficult to maintain, and difficult to ensure correct, even for simple systems. The result is a loss in product quality, felt particularly by users and designers committed to long-term product development. This paper shows that it is possible to systematically put a system specification and its documentation into exact correspondence. It fol...
متن کاملAutomatic Generation of Propagation Complete SAT Encodings
Almost all applications of SAT solvers generate Boolean formulae from higher level expression graphs by encoding the semantics of each operation or relation into propositional logic. All non-trivial relations have many different possible encodings and the encoding used can have a major effect on the performance of the system. This paper gives an abstract satisfaction based formalisation of one ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2904305